Mouche du pétrole (n.f.)